div {
	padding-bottom: 0;
}

h2 {
	border-color: #80afc4;
	border-style: none none solid solid;
	border-width: medium;
	padding-bottom: 0;
}

h3 {
	border-color: #008888;
	border-style: none none solid solid;
	border-width: medium;
	width: 100px:
}

table {
	background-color: white;
}

th {
	width:100%;
}

div.description {
	height: 16em;
}

div.buildinfo {
	margin-top: 3em;
}

p {
	margin-top: 0em;
}

ul {
	margin-bottom: 1em;
}

div.w3c {
	top: 66em; 
}

